<HTML>
<HEAD>
<TITLE>Overview</TITLE>
</HEAD>
<BODY><TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="1">
<TR>
<TD>
<TABLE WIDTH="100%" BORDER="0" CELLSPACING="3" CELLPADDING="0">
<TR ALIGN=CENTER VALIGN=TOP>
<TD BGCOLOR="#EEEEFF">
Overview&nbsp;
</TD><TD BGCOLOR="#EEEEFF">
<B><A HREF="index-all.html">Index</A></B>&nbsp;
</TD><TD BGCOLOR="#EEEEFF">
<B><A HREF="help-doc.html">Help</A></B>&nbsp;
</TD></TR></TABLE>
</TD></TR></TABLE>
<HR>
<H1 align=CENTER>Overview</H1>
&nbsp;
&nbsp;
<TABLE WIDTH="100%" BORDER="1" CELLSPACING="0" CELLPADDING="3">
<TR BGCOLOR="#CCCCFF">
<TH COLSPAN=1>
<FONT SIZE="+2">Inner Structure summary</FONT>
</TH></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrBasicFormattersTest0001.html">BasicFormattersTest0001</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases of formatters defined in <code>BasicFormatters</code>.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrPrinterParameterTest0001.html">PrinterParameterTest0001</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  verify that the SMLPP treats the <code>newlineString</code> field in
 PrinterParameter.parameter properly.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrPrinterParameterTest0002.html">PrinterParameterTest0002</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  verify that the SMLPP treats the <code>spaceString</code> field in
 PrinterParameter.parameter properly.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0001.html">SMLPPTest0001</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of terms.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0002.html">SMLPPTest0002</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of space indicators.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0003.html">SMLPPTest0003</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of newline indicators.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0004.html">SMLPPTest0004</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of space-newline indicators.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0005.html">SMLPPTest0005</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of deferred newline indicators.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0006.html">SMLPPTest0006</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of expressions with indent width indicators.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0007.html">SMLPPTest0007</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; test cases for pretty-printing of expressions included within guards.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0008.html">SMLPPTest0008</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  test cases examining the relation between the associativity indicators
 of two guards one of which is nested within the other.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0009.html">SMLPPTest0009</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  verify that the SMLPP treats the left/right most element in guards properly
 in inheriting associativity from the guards to their elements.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTest0010.html">SMLPPTest0010</A></CODE>
<BR>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;  verify the inheritance of associativity when the expressions contains
 three nested guards.
</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrSMLPPTestUtil.html">SMLPPTestUtil</A></CODE>
<BR>


</TD></TR><TR>
<TD>
<P>
<CODE>structure&nbsp;<A HREF="StrTestMain.html">TestMain</A></CODE>
<BR>


</TD></TR></TABLE>
&nbsp;
&nbsp;
&nbsp;
&nbsp;
&nbsp;
&nbsp;
&nbsp;
<P>
&nbsp;
&nbsp;
&nbsp;
&nbsp;
&nbsp;

<HR>
<TABLE WIDTH="100%" BORDER="0" CELLSPACING="0" CELLPADDING="1">
<TR>
<TD>
<TABLE WIDTH="100%" BORDER="0" CELLSPACING="3" CELLPADDING="0">
<TR ALIGN=CENTER VALIGN=TOP>
<TD BGCOLOR="#EEEEFF">
Overview&nbsp;
</TD><TD BGCOLOR="#EEEEFF">
<B><A HREF="index-all.html">Index</A></B>&nbsp;
</TD><TD BGCOLOR="#EEEEFF">
<B><A HREF="help-doc.html">Help</A></B>&nbsp;
</TD></TR></TABLE>
</TD></TR></TABLE>
</BODY></HTML>
